Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre
نویسنده
چکیده
منابع مشابه
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
متن کامل
Mise en oeuvre des interactions en environnements distribués, compilés et fortement typés : le modèle MICADO
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملContribution à la vérication formelle et programmation par contraintes
ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...
متن کامل